Term Gallery logo

Значения термина выводимая формула на русском

португальский
lógica matemática
английский
formal logic
каталонский
metamatemàtica
испанский
logica matematica
Wikidata

Раздел математики, изучающий математические обозначения, формальные системы, доказуемость математических суждений, природу математического доказательства в целом, вычислимость и пр.

Ещё
Похожие термины
formal logic
Синонимы
Examples for "математическая логика"
Examples for "математическая логика"
1
Кандидат философских наук по специальности " Математическая логика".
MK.RU